منابع مشابه
Simultaneous Search Simultaneous Search *
We introduce and solve a new class of “downward-recursive” static portfolio choice problems. An individual simultaneously chooses among ranked stochastic options, and each choice is costly. In the motivational application, just one may be exercised from those that succeed. This often emerges in practice, such as when a student applies to many colleges. We show that a greedy algorithm finds the ...
متن کاملConstrained Simultaneous and Near-Simultaneous Embeddings
A geometric simultaneous embedding of two graphs G1 = (V1, E1) and G2 = (V2, E2) with a bijective mapping of their vertex sets γ : V1 → V2 is a pair of planar straightline drawings Γ1 of G1 and Γ2 of G2, such that each vertex v2 = γ(v1) is mapped in Γ2 to the same point where v1 is mapped in Γ1, where v1 ∈ V1 and v2 ∈ V2. In this paper we examine several constrained versions of the geometric si...
متن کاملSimultaneous Multithreading
Current research in processor technology and computer architecture is motivated primarily by the need for greater performance. In this context, it is well understood that the performance gain from improving the memory system alone is limited, and using system Level Integration (such as supporting graphics/sound on chip) can only lead to marginal performance benefits. The most significant gain c...
متن کاملSimultaneous Multithreading
Program Authorized to Offer Degree Date In presenting this dissertation in partial fulfillment of the requirements for the Doctoral degree at the University of Washington, I agree that the Library shall make its copies freely available for inspection. I further agree that extensive copying of this dissertation is allowable only for scholarly purposes, consistent with " fair use " as prescribed ...
متن کاملSimultaneous Quanti
We present a sequent calculus which allows the simultaneous elimination of multiple quantiiers. The approach is an improvement over the well-known skolemization in sequent calculus. It allows a lazy handling of instantiations and of the order of certain reductions. Simultaneous quantiier elimination is justiied from a semantical as well as from a proof theoretical point of view.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Sen'i Gakkaishi
سال: 1984
ISSN: 0037-9875,1884-2259
DOI: 10.2115/fiber.40.4-5_p393